Intelligent Web Querying with Logic Programs
نویسنده
چکیده
We present a general framework for the information extraction from web pages based on a special wrapper language, called token-templates. By using token-templates in conjunction with logic programs we are able to reason about web page contents, search and collect facts and derive new facts from various web pages. We give a formal deenition for the semantics of logic programs extended by token-templates and deene a general answer-complete calculus for these extended programs. These methods and techniques are used to build intelligent mediators and web information systems.
منابع مشابه
Logic Programs for Intelligent Web Search
We present a general framework for information extraction from web pages based on a special wrapper language, called token-templates. By using token-templates in conjunction with logic programs we are able to reason about web page contents, search and collect facts and derive new facts from various web pages. We give a formal definition for the semantics of logic programs extended by token-temp...
متن کاملQuerying the Web Reconsidered: A Practical Introduction to Xcerpt
This article gives a practical introduction into the language Xcerpt, guided by many examples for illustrating language constructs and usage. Xcerpt is a rule-based, declarative query and transformation language for XML data. In Xcerpt, queries and the (re-)structuring of answer (also called "constructions") are expressed in terms of patterns instead of path navigations (like in XSLT and XQuery...
متن کاملA Hybrid Hierarchical and Peer-to-Peer Ontology-based Global Service Discovery System
Current service discovery systems fail to span across the globe and they use simple attribute-value pair or interface matching for service description and querying. We propose a global service discovery system, GloServ, that uses the description logic Web Ontology Language (OWL DL). The GloServ architecture spans both local and wide area networks. It maps knowledge obtained by the service class...
متن کاملSimulation Unification: Beyond Querying Semistructured Data
This article first reminds of simulation unification, a non-standard unification proposed at the 18th International Conference on Logic Programming (ICLP 2002) for making logic programming capable of querying semistructured data on the Web. This article further argues that, beyond querying semistructured data on the Web, simulation unification has a potential for Web querying of multimedia data...
متن کاملModeling epistemic knowledge in logic programs with negation as failure
Representing what an intelligent agent knows or believes can be an important feature for a Web service. Epistemic logic programs proposed by Gelfond [6] are a clear way to reason about what an intelligent agent knows or believes, but the complexity of the reasoning is exponential. The paper proposes a new class of logic programs, which consists from logic programs with two types of negation as ...
متن کامل